-
1 формально выводимый
Большой англо-русский и русско-английский словарь > формально выводимый
-
2 formally derivable
Большой англо-русский и русско-английский словарь > formally derivable
-
3 formally derivable
Математика: формально выводимый -
4 formally derivable
мат. -
5 deducible
выводимый formally deducible theorem ≈ формально выводимая теорема - deducible formula - deducible rule - deducible rules - deducible sentence - deducible theorem( from) выводимыйБольшой англо-русский и русско-английский словарь > deducible
-
6 deducible
См. также в других словарях:
Кант — (Immanuel Kant, первонач. Cant) основатель философского критицизма, представляющего главную поворотную точку в истории человеческой мысли, так что все развитие философии, если не по содержанию, то по отношению мысли к этому содержанию, должно… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона